🐚 Bash Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
haskell/mtl
github.com·22h
🔗Functional Compilers
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·5h·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🦀Rust Borrowing
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Controlling program flow with capabilities in Scala
nrinaudo.github.io·13h·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
Show HN: Universal single-letter project commands to speed up your CLI workflow
github.com·2d·
Discuss: Hacker News
🪟Awesome windows command-line
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
Erlang-Red – Interview with Gerrit Riessen at TADSummit
blog.tadsummit.com·8h·
Discuss: Hacker News
🌊Stream Processing
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
category-labs/monad
github.com·22h
🔗Functional Compilers
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·13h·
Discuss: DEV
🔬Refinement Types
Combating headcrabs in the Source SDK codebase
gamedev.net·5h·
Discuss: Hacker News
🦀Rust Macros
What I learned building a programming language with LLM agents
eddmann.com·6h·
Discuss: Hacker News
🗣️Domain-Specific Languages
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.com·1d
👁️Observatory Systems
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
Show HN: I made AquaShell, a scripting and automation environment for Windows
aquashell-scripting.com·3h·
Discuss: Hacker News
🐚Shell Automation
Compiling with Continuations
swatson555.github.io·1d·
Discuss: Hacker News
💻Programming languages
Carbon Copy No.8: Classes Part II
github.com·16h·
Discuss: Hacker News
🎯Gradual Typing
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·2d
🦀Rust Verification
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·6h
💻Local LLMs